%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Camilo Rodurcha at 2011-01-25 14:49:45 -0600 

@inproceedings{scc,
  author    = {Joe Hendrix and
               Manuel Clavel and
               Jos{\'e} Meseguer},
  title     = {A Sufficient Completeness Reasoning Tool for Partial Specifications},
  booktitle = {RTA},
  year      = {2005},
  pages     = {165-174},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3467{\&}spage=165},
  crossref  = {DBLP:conf/rta/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/rta/2005,
  editor    = {J{\"u}rgen Giesl},
  title     = {Term Rewriting and Applications, 16th International Conference,
               RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings},
  booktitle = {RTA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3467},
  year      = {2005},
  isbn      = {3-540-25596-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{duranO09,
  author    = {Francisco Dur{\'a}n and
               Peter Csaba {\"O}lveczky},
  title     = {A Guide to Extending {F}ull {M}aude Illustrated with the Implementation
               of Real-Time {M}aude},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {238},
  number    = {3},
  year      = {2009},
  pages     = {83-102},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2009.05.014},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{clavel98b,
  author    = {Manuel Clavel and
               Francisco Dur{\'a}n and
               Steven Eker and
               Patrick Lincoln and
               Narciso Mart\'{\i}-Oliet and
               Jos{\'e} Meseguer and
               Jose F. Quesada},
  title     = {{M}aude as a metalanguage},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {15},
  year      = {1998},
  ee        = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt\#016},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{clavel98a,
  author    = {Manuel Clavel and
               Francisco Dur{\'a}n and
               Steven Eker and
               Patrick Lincoln and
               Narciso Mart\'{\i}-Oliet and
               Jos{\'e} Meseguer},
  title     = {Metalevel computation in {M}aude},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {15},
  year      = {1998},
  ee        = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt\#003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{clavel99,
  author    = {Manuel Clavel and
               Francisco Dur{\'a}n and
               Steven Eker and
               Jos{\'e} Meseguer and
               Mark-Oliver Stehr},
  title     = {{M}aude as a Formal Meta-tool},
  booktitle = {World Congress on Formal Methods},
  year      = {1999},
  pages     = {1684-1703},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1709/17091684.htm},
  crossref  = {DBLP:conf/fm/1999-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fm/1999-2,
  editor    = {Jeannette M. Wing and
               Jim Woodcock and
               Jim Davies},
  title     = {FM'99 - Formal Methods, World Congress on Formal Methods
               in the Development of Computing Systems, Toulouse, France,
               September 20-24, 1999, Proceedings, Volume II},
  booktitle = {World Congress on Formal Methods},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1709},
  year      = {1999},
  isbn      = {3-540-66588-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{basin00,
  author    = {David A. Basin and
               Manuel Clavel and
               Jos{\'e} Meseguer},
  title     = {Rewriting Logic as a Metalogical Framework},
  booktitle = {FSTTCS},
  year      = {2000},
  pages     = {55-80},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1974/19740055.htm},
  crossref  = {DBLP:conf/fsttcs/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fsttcs/2000,
  editor    = {Sanjiv Kapoor and
               Sanjiva Prasad},
  title     = {Foundations of Software Technology and Theoretical Computer
               Science, 20th Conference, FST TCS 2000 New Delhi, India,
               December 13-15, 2000, Proceedings},
  booktitle = {FSTTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1974},
  year      = {2000},
  isbn      = {3-540-41413-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


%% Saved with string encoding Unicode (UTF-8) 
@inproceedings{mfe07,
  author    = {Manuel Clavel and
               Francisco Dur{\'a}n and
               Joe Hendrix and
               Salvador Lucas and
               Jos{\'e} Meseguer and
               Peter Csaba {\"O}lveczky},
  title     = {The {M}aude Formal Tool Environment},
  booktitle = {CALCO},
  year      = {2007},
  pages     = {173-178},
  ee        = {http://dx.doi.org/10.1007/978-3-540-73859-6_12},
  crossref  = {DBLP:conf/calco/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/calco/2007,
  editor    = {Till Mossakowski and
               Ugo Montanari and
               Magne Haveraaen},
  title     = {Algebra and Coalgebra in Computer Science, Second International
               Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007,
               Proceedings},
  booktitle = {CALCO},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4624},
  year      = {2007},
  isbn      = {978-3-540-73857-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{mc,
  author    = {Steven Eker and
               Jos{\'e} Meseguer and
               Ambarish Sridharanarayanan},
  title     = {The {M}aude {LTL} Model Checker and Its Implementation},
  booktitle = {SPIN},
  year      = {2003},
  pages     = {230-234},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2648/26480230.htm},
  crossref  = {DBLP:conf/spin/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/spin/2003,
  editor    = {Thomas Ball and
               Sriram K. Rajamani},
  title     = {Model Checking Software, 10th International SPIN Workshop.
               Portland, OR, USA, May 9-10, 2003, Proceedings},
  booktitle = {SPIN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2648},
  year      = {2003},
  isbn      = {3-540-40117-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{crc,
  author    = {Francisco Dur{\'a}n and
               Jos{\'e} Meseguer},
  title     = {A {C}hurch-{R}osser Checker Tool for Conditional Order-Sorted
               Equational {M}aude Specifications},
  booktitle = {WRLA},
  year      = {2010},
  pages     = {69-85},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16310-4_6},
  crossref  = {DBLP:conf/wrla/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{chc,
  author    = {Francisco Dur{\'a}n and
               Jos{\'e} Meseguer},
  title     = {A {M}aude Coherence Checker Tool for Conditional Order-Sorted
               Rewrite Theories},
  booktitle = {WRLA},
  year      = {2010},
  pages     = {86-103},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16310-4_7},
  crossref  = {DBLP:conf/wrla/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{bae10,
  author    = {Kyungmin Bae and
               Jos{\'e} Meseguer},
  title     = {The Linear Temporal Logic of Rewriting {M}aude Model Checker},
  booktitle = {WRLA},
  year      = {2010},
  pages     = {208-225},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16310-4_14},
  crossref  = {DBLP:conf/wrla/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/wrla/2010,
  editor    = {Peter Csaba {\"O}lveczky},
  title     = {Rewriting Logic and Its Applications - 8th International
               Workshop, WRLA 2010, Held as a Satellite Event of ETAPS
               2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected
               Papers},
  booktitle = {WRLA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6381},
  year      = {2010},
  isbn      = {978-3-642-16309-8},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16310-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{rtm,
  author    = {Peter Csaba {\"O}lveczky and
               Jos{\'e} Meseguer},
  title     = {The {R}eal-{T}ime {M}aude Tool},
  booktitle = {TACAS},
  year      = {2008},
  pages     = {332-336},
  ee        = {http://dx.doi.org/10.1007/978-3-540-78800-3_23},
  crossref  = {DBLP:conf/tacas/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{mnpa,
  author    = {Santiago Escobar and
               Catherine Meadows and
               Jos{\'e} Meseguer},
  title     = {{M}aude-{NPA}: Cryptographic Protocol Analysis Modulo Equational
               Properties},
  booktitle = {FOSAD},
  year      = {2007},
  pages     = {1-50},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03829-7_1},
  crossref  = {DBLP:conf/fosad/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fosad/2009,
  editor    = {Alessandro Aldini and
               Gilles Barthe and
               Roberto Gorrieri},
  title     = {Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009
               Tutorial Lectures},
  booktitle = {FOSAD},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5705},
  year      = {2009},
  isbn      = {978-3-642-03828-0},
  ee        = {http://dx.doi.org/10.1007/978-3-642-03829-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@proceedings{DBLP:conf/tacas/2008,
  editor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  title     = {Tools and Algorithms for the Construction and Analysis of
               Systems, 14th International Conference, TACAS 2008, Held
               as Part of the Joint European Conferences on Theory and
               Practice of Software, ETAPS 2008, Budapest, Hungary, March
               29-April 6, 2008. Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963},
  year      = {2008},
  isbn      = {978-3-540-78799-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{rochaM10,
	Author = {Camilo Rocha and Jos{\'e} Meseguer},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {LPAR (Yogyakarta)},
	Crossref = {DBLP:conf/lpar/2010y},
	Date-Added = {2011-01-25 14:44:24 -0600},
	Date-Modified = {2011-01-25 14:49:45 -0600},
	Pages = {594-609},
	Title = {Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories},
	Year = {2010},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-16242-8_42}}

@proceedings{DBLP:conf/lpar/2010y,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {LPAR (Yogyakarta)},
	Date-Added = {2011-01-25 14:44:24 -0600},
	Date-Modified = {2011-01-25 14:44:24 -0600},
	Editor = {Christian G. Ferm{\"u}ller and Andrei Voronkov},
	Isbn = {978-3-642-16241-1},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings},
	Volume = {6397},
	Year = {2010},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-16242-8}}

@inproceedings{mu-term,
	Author = {Salvador Lucas},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {RTA},
	Crossref = {DBLP:conf/rta/2004},
	Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3091{\&}spage=200},
	Pages = {200-209},
	Title = {mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting},
	Year = {2004}}

@proceedings{DBLP:conf/rta/2004,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {RTA},
	Editor = {Vincent van Oostrom},
	Isbn = {3-540-22153-0},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
	Volume = {3091},
	Year = {2004}}

@inproceedings{aprove,
	Author = {J{\"u}rgen Giesl and Peter Schneider-Kamp and Ren{\'e} Thiemann},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {IJCAR},
	Crossref = {DBLP:conf/cade/2006},
	Ee = {http://dx.doi.org/10.1007/11814771_24},
	Pages = {281-286},
	Title = {Automatic Termination Proofs in the Dependency Pair Framework},
	Year = {2006}}

@proceedings{DBLP:conf/cade/2006,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {IJCAR},
	Editor = {Ulrich Furbach and Natarajan Shankar},
	Isbn = {3-540-37187-7},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
	Volume = {4130},
	Year = {2006}}

@article{duranLMG09,
	Author = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer and Francisco Guti{\'e}rrez},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Ee = {http://dx.doi.org/10.1016/j.entcs.2009.07.061},
	Journal = {Electronic Notes in Theorertical Computer Science},
	Pages = {83-92},
	Title = {Web Services and Interoperability for the {M}aude Termination Tool},
	Volume = {248},
	Year = {2009}}

@inproceedings{duranLM09,
	Author = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FroCos},
	Crossref = {DBLP:conf/frocos/2009},
	Ee = {http://dx.doi.org/10.1007/978-3-642-04222-5_15},
	Pages = {246-262},
	Title = {Termination Modulo Combinations of Equational Theories},
	Year = {2009}}

@proceedings{DBLP:conf/frocos/2009,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {FroCoS},
	Editor = {Silvio Ghilardi and Roberto Sebastiani},
	Ee = {http://dx.doi.org/10.1007/978-3-642-04222-5},
	Isbn = {978-3-642-04221-8},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings},
	Volume = {5749},
	Year = {2009}}
